Nancy, France

Results: 204



#Item
51

Deciding knowledge in security protocols for monoidal equational theories ⋆ V´eronique Cortier and St´ephanie Delaune LORIA, CNRS & INRIA project Cassis, Nancy, France Abstract. In formal approaches, messages sent o

Add to Reading List

Source URL: www.loria.fr

Language: English - Date: 2007-08-10 10:11:21
    52

    Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

    Add to Reading List

    Source URL: www.montefiore.ulg.ac.be

    Language: English - Date: 2011-07-11 06:39:50
      53

      A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email:

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      Language: English - Date: 2009-07-06 12:39:09
        54

        Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France

        Add to Reading List

        Source URL: www.bensmyth.com

        Language: English - Date: 2013-09-25 07:19:22
          55

          Attacking and fixing Helios: An analysis of ballot secrecy V´eronique Cortier1 and Ben Smyth2 1 CNRS, Loria, UMR 7503 FVandœuvre-l´es-Nancy, France

          Add to Reading List

          Source URL: www.bensmyth.com

          Language: English - Date: 2013-09-25 07:23:58
            56

            Towards an oral interface for data entry: The MAUD System Fohr, J.-P. Haton, J.-F. Mari, K. Smaïli and I. Zitouni CRIN-CNRS/ INRIA Lorraine BP239Vandoeuvre Lès-Nancy France e-mail: {fohr, jph, jfmari,smaili, zit

            Add to Reading List

            Source URL: www.ui4all.gr

            Language: English - Date: 2007-11-27 14:03:43
              57

              Decision Procedures for the Formal Analysis of Software Tutorial Overview D. Déharbe, P. Fontaine, Silvio Ranise, C. Ringeissen UFRN (Natal, Brasil) and LORIA & INRIA-Lorraine (Nancy, France)

              Add to Reading List

              Source URL: www.loria.fr

              Language: English - Date: 2006-11-18 06:54:08
                58

                Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

                Add to Reading List

                Source URL: www.montefiore.ulg.ac.be

                Language: English - Date: 2011-07-11 06:39:50
                  59

                  SATISFIABILITY SOLVING FOR SOFTWARE VERIFICATION David D´eharbe DIMAp/UFRN (Natal, Brazil) Silvio Ranise INRIA-Lorraine (Nancy, France)

                  Add to Reading List

                  Source URL: www.loria.fr

                  Language: English - Date: 2006-10-25 08:45:53
                    60

                    Building, Combining and Integrating Decision Procedures for Software Verification Part: Combining D. Déharbe, P. Fontaine, S. Ranise, C. Ringeissen UFRN Natal (Brasil), LORIA Nancy (France)

                    Add to Reading List

                    Source URL: www.loria.fr

                    Language: English - Date: 2006-11-18 06:55:20
                      UPDATE